FedCSIS'23 Keynote - Marta Kwiatkowska PTI - Polskie Towarzystwo Informatyczne 52:50 10 months ago 87 Скачать Далее
FedCSIS'23 Keynote - Roman Słowiński PTI - Polskie Towarzystwo Informatyczne 1:04:09 10 months ago 60 Скачать Далее
When to trust a robot? - Interview with Marta Kwiatkowska, University of Oxford SAIConference 6:57 7 years ago 997 Скачать Далее
Professor Marta Kwiatkowska: "When to trust a self-driving car..." UCL Artificial Intelligence Society 1:21:58 3 years ago 154 Скачать Далее
Marta Kwiatkowska – Safety and robustness for deep learning with provable guarantees ML in PL 57:39 2 years ago 237 Скачать Далее
"Safety Verification of Deep Neural Networks" Marta Kwiatkowska | CAV 2017 Conference on Computer-Aided Verification 1:11:13 6 years ago 1 336 Скачать Далее
SecML18: Marta Kwiatkowska on Safety verification for neural networks with provable guarantees Nicolas Papernot 29:16 5 years ago 272 Скачать Далее
Prof. Marta Kwiatkowska - Sensing Everywhere: on Quantitative Verification for Ubiquitous Computing The University of Edinburgh 1:11:44 11 years ago 3 045 Скачать Далее
Marta Kwiatkowska: Provable guarantees on robustness of Bayesian networks to causal interventions Imprecise Probabilities Channel of SIPTA 1:01:00 1 year ago 281 Скачать Далее